[SupportedOSPlatform("ios")]
[SupportedOSPlatform("tvos")]
[SupportedOSPlatform("maccatalyst")]
class Program
{
    [SupportedOSPlatform("tvos10.2")]
    [SupportedOSPlatform("ios10.3")]
    [SupportedOSPlatform("maccatalyst10.3")]
    public static int P1 => 1;
}

class Test
{
    [SupportedOSPlatform("ios10.0")]
    public void M1()
    {
        var rate = (OperatingSystem.IsIOSVersionAtLeast(10, 3) || OperatingSystem.IsMacCatalystVersionAtLeast(10, 3) || OperatingSystem.IsTvOSVersionAtLeast(10, 3))
		    ? Program.P1 // was warning here even if it was guarded
                    : 0; 
    }
}

class Program
{
    [ObsoletedOSPlatform("ios7.0", "Use 'NSString.GetBoundingRect (CGSize, NSStringDrawingOptions, UIStringAttributes, NSStringDrawingContext)' instead.")]
    [ObsoletedOSPlatform("maccatalyst7.0", "Use 'NSString.GetBoundingRect (CGSize, NSStringDrawingOptions, UIStringAttributes, NSStringDrawingContext)' instead.")] // maccatalyst covered by ios, this attribute redundant
    [SupportedOSPlatform("ios")]
    [SupportedOSPlatform("maccatalyst")] // maccatalyst covered by ios, this attribute redundant
    public static void M3() { }
    
    [SupportedOSPlatform("ios")]
    public static void M1()
    {
         M3(); // it was reporting 2 diagnostics here, CA1416 and CA1422 when only CA1422 was expected
    }
}